Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
121	Sonic Partial Deduction Jonathan Martin and Michael Leuschel Declarative Systems and Software Engineering Group Technical Report DSSE-TR-99-3 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:04 Mathematics Logic Functions and mappings Mathematical logic Logic programming Automated theorem proving Append Functional programming Lisp Unfolding Substitution Atomic formula
122	Mereotopology: A Theory of Parts and Boundaries Barry Smith Department of Philosophy and Member of the Center for Cognitive Science University at Buffalo Add to Reading List Source URL: ontology.buffalo.edu Language: English - Date: 2002-03-18 11:17:58 Mathematical logic Mathematics Logic Ontology General topology Predicate logic Topology Mereotopology Mereology Closure First-order logic Topological space
123	EUROPEAN PATENT OFFICE U.S. PATENT AND TRADEMARK OFFICE CPC NOTICE OF CHANGES 255 DATE: AUGUST 1, 2016 PROJECT MP0225 Add to Reading List Source URL: www.cooperativepatentclassification.org Language: English - Date: 2016-07-18 10:18:49 Linguistics Logic Analytic philosophy Punctuation Bracket Mathematical notation Definition ASCII Matrix International System of Units
124	EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY Add to Reading List Source URL: www.eusflat.org Language: English - Date: 2014-09-25 18:01:52 Fuzzy logic Logic Mathematical logic European Society for Fuzzy Logic and Technology Rudolf Kruse Pasi Psoriasis Area and Severity Index Fuzzy set
125	Revisiting the Ontological Square Luc SCHNEIDER 1 , Institute for Formal Ontology and Medical Information Science, Universität des Saarlandes, Saarbrücken, Germany Abstract. Considerations regarding predication in ordi Add to Reading List Source URL: ifomis.uni-saarland.de Language: English - Date: 2014-05-09 08:16:43 Logic Mathematical logic Model theory Metalogic Interpretation Philosophy of mind Semantics First-order logic Constructible universe Linear temporal logic operator
126	CS264: Beyond Worst-Case Analysis Lecture #20: From Unknown Input Distributions to Instance Optimality∗ Tim Roughgarden† December 3, 2014 Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-12-29 00:22:18 Operations research Algorithm Mathematical logic Theoretical computer science Mathematical optimization Academia Mathematics Applied mathematics Dynamic programming Randomized algorithms as zero-sum games Randomized rounding
127	Higher-Dimensional Category Theory The architecture of mathematics Eugenia Cheng November 2000 Add to Reading List Source URL: cat.boffosocko.com Language: English - Date: 2015-06-01 01:56:30 Mathematics Academia Physics Category theory Theory Conceptual system Dimension Mathematical logic Mathematical analysis Algebra Emmy Noether Foundations of mathematics
128	MaSh: Machine Learning for Sledgehammer Daniel Kühlwein1 , Jasmin Christian Blanchette2 , Cezary Kaliszyk3 , and Josef Urban1 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-03-13 06:06:51 Mathematical logic Theoretical computer science Automated theorem proving Mathematics Logic in computer science Formal methods Proof assistants Artificial intelligence Isabelle Automated reasoning IP Logic programming
129	Cognitive Science–910 Modeling knowledge-based inferences in story comprehension Stefan L. Frank a,b,∗ , Mathieu Koppen c , Leo G.M. Noordman a , Wietske Vonk b,d Add to Reading List Source URL: www.stefanfrank.info Language: English - Date: 2012-03-11 05:05:00 Logic Philosophy Academia Mathematical logic Ontology Proposition Statements Syntax Epistemology Reading Inference
130	Scalable Flow-Based Community Detection for Large-Scale Network Analysis Seung-Hee Bae∗ , Daniel Halperin∗ , Jevin West† , Martin Rosvall‡ and Bill Howe∗ ∗ Department of Computer Science and Engineering, Uni Add to Reading List Source URL: www.jevinwest.org Language: English - Date: 2015-11-11 00:05:03 Mathematics Computational complexity theory NP-complete problems Algorithm Mathematical logic Theoretical computer science Graph partition Community structure Connectivity